#include<stdio.h>

int main(){
    int n, i, ret = 0;
    scanf("%d",&n);
    
    int m = n / 5;
    for(i = 0; i <= m; i++){
    ret += (n - 5*i) / 2 + 1;
    }
    printf("%d", ret);
    
    return 0;
}

/*n元人民币换成1元、2元、5元的零钱，请计算共有多少种兑换方法？*/